
int xmain () {
  f();
}
